home
***
CD-ROM
|
disk
|
FTP
|
other
***
search
/
ftp.cs.arizona.edu
/
ftp.cs.arizona.edu.tar
/
ftp.cs.arizona.edu
/
icon
/
newsgrp
/
group98a.txt
/
000103_icon-group-sender _Thu Mar 5 16:34:30 1998.msg
< prev
next >
Wrap
Internet Message Format
|
2000-09-20
|
2KB
Return-Path: <icon-group-sender>
Received: from kingfisher.CS.Arizona.EDU (kingfisher.CS.Arizona.EDU [192.12.69.239])
by baskerville.CS.Arizona.EDU (8.8.7/8.8.7) with SMTP id QAA10146
for <icon-group-addresses@baskerville.CS.Arizona.EDU>; Thu, 5 Mar 1998 16:34:29 -0700 (MST)
Received: by kingfisher.CS.Arizona.EDU (5.65v4.0/1.1.8.2/08Nov94-0446PM)
id AA08014; Thu, 5 Mar 1998 16:34:29 -0700
Message-Id: <34FF0D2E.3FB2@rmc.ca>
Date: Thu, 05 Mar 1998 15:38:06 -0500
From: "John H. Lindsay" <lindsay-j@rmc.ca>
Reply-To: lindsay-j@rmc.ca
Organization: Royal Military College of Canada
X-Mailer: Mozilla 2.02 (OS/2; I)
Mime-Version: 1.0
To: Ramon Pereda <rpereda@ringer.cs.utsa.edu>
Cc: Paul Abrahams <abrahams@acm.org>, icon-group@optima.CS.Arizona.EDU
Subject: Re: Icon translation
References: <Pine.GSO.3.95.980304191647.1678B-100000@pandora>
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit
Errors-To: icon-group-errors@optima.CS.Arizona.EDU
Status: RO
Content-Length: 896
Ramon Pereda wrote:
>
> > Frankly, I think one of the weaknesses of Icon is the lack of strong
> > typing - or what more accurately I would call "optional strong typing".
> > Icon already has declarations - they're just not used for data types. I
>
> Optional strong typing is very attractive. Does anyone know of a language
> that has this feature?
>
> -ray
Looking at the request from another viewpoint, optional
constrained polymorphism, I suggest you consider Algol 68
and its UNION modes.
There's an OS/2 Algol 68 compiler at:
http://www.occl-cam.demon.co.uk/
and there is a module of SNOBOL4-like operators with it.
--
John H. Lindsay lindsay_j@rmc.ca
Department of Mathematics and Computer Science
ROYAL MILITARY COLLEGE OF CANADA
P O BOX 17000 STN FORCES
KINGSTON ON K7K 7B4 CANADA
Phone: (613) 541-6000--1--6419
Fax: (613) 541-6584